Computer Algebra Application for Determining Lie and Lie-Bäcklund Symmetries of Differential Equations
نویسندگان
چکیده
The application of computer algebra for determining Lie and Lie–Bäcklund (LB) symmetries of differential equations is considered. Algorithms for calculating the symmetries are developed and implemented on the basis of computer algebra systems REDUCE, AMP and FORMAC. The most effective and advanced program is written in FORMAC. It finds LB symmetries completely automatically. In many cases the program yields the full algebra of symmetries. If the program fails in full integration of the determining system, it reduces the remaining determining equations to the system in involution.
منابع مشابه
Reduction of Differential Equations by Lie Algebra of Symmetries
The paper is devoted to an application of Lie group theory to differential equations. The basic infinitesimal method for calculating symmetry group is presented, and used to determine general symmetry group of some differential equations. We include a number of important applications including integration of ordinary differential equations and finding some solutions of partial differential equa...
متن کاملNew Solutions for Fokker-Plank Equation of Special Stochastic Process via Lie Point Symmetries
In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process. This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process.
متن کاملSymmetry group, Hamiltonian equations and conservation laws of general three-dimensional anisotropic non-linear sourceless heat transfer equation
In this paper Lie point symmetries, Hamiltonian equations and conservation laws of general three-dimensional anisotropic non-linear sourceless heat transfer equation are investigated. First of all Lie symmetries are obtained by using the general method based on invariance condition of a system of differential equations under a prolonged vector field. Then the structure of symmetry ...
متن کاملThe Method of Linear Determining Equations to Evolution System and Application for Reaction-Diffusion System with Power Diffusivities
Abstract: The method of linear determining equations is constructed to study conditional Lie–Bäcklund symmetry and the differential constraint of a two-component second-order evolution system, which generalize the determining equations used in the search for classical Lie symmetry. As an application of the approach, the two-component reaction-diffusion system with power diffusivities is conside...
متن کاملA Basis of Conservation Laws for Partial Differential Equations
The classical generation theorem of conservation laws from known ones for a system of differential equations which uses the action of a canonical Lie–Bäcklund generator is extended to include any Lie–Bäcklund generator. Also, it is shown that the Lie algebra of Lie–Bäcklund symmetries of a conserved vector of a system is a subalgebra of the Lie–Bäcklund symmetries of the system. Moreover, we in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 7 شماره
صفحات -
تاریخ انتشار 1989